Implementing DDLm: rewriting dREL algorithms into other languages

Expressive Capabilities Description Languages and Query Rewriting Algorithms

Information integration systems have to cope with a wide variety of di erent information sources, which support query interfaces with very varied capabilities. To deal with this problem, the integration systems need descriptions of the query capabilities of each source, i.e., the set of queries supported by each source. Moreover, the integration systems need algorithms for deciding how a query ...

Toward translating Korean speech into other languages

This paper describes research activities of ETRI in multi-lingual spontaneous speech translation. We have developed Korean-toEnglish, Korean-to-Japanese speech translation system prototype that includes 5,000 word spontaneous Korean speech recognizer, Korean-English and Korean-Japanese translators, and Korean speech synthesizer with spontaneous prosody in the travel planning task. We utilize mu...

Implementing Languages Other than Java on the Java Virtual Machine

Rewriting declarative query languages

Queries against databases are formulated in declarative languages. Examples are the relational query language SQL and XPath or XQuery for querying data stored in XML. Using a declarative query language, the querist does not need to know about or decide on anything about the actual strategy a system uses to answer the query. Instead, the system can freely choose among the algorithms it employs t...

Implementing -reduction by Hypergraph Rewriting

The aim of this paper is to implement the-reduction in the-calculus with a hypergraph rewriting mechanism called collapsed-tree rewriting. It turns out that collapsed-tree rewriting is sound with respect to-reduction and complete with respect to the Gross-Knuth strategy. As a consequence, there exists a normal form for a collapsed-tree if and only if there exists a normal form for the represent...